A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol

نویسندگان

  • María E. Villapol
  • Jonathan Billington
چکیده

The goal of the Resource Reservation Protocol (RSVP) is to support the provision of the Quality of Service required for emerging Internet applications (such as video conferencing) that require a level of performance not guaranteed by the Internet. RSVP attempts to provide performance guarantees by establishing resource reservations (such as the number of buffers and bandwidth allocation) within routers and host computers of the Internet. Currently, Internet protocols are not formally specified when they are developed. Instead they are described in a narrative way in documents called Request for Comments (RFCs). This is the case for RSVP. To increase confidence in RSVP we have formalised and analysed its narrative specification using Coloured Petri Nets (CPNs). This paper demonstrates how CPNs can be used for modelling and analysing RSVP. Among the several beneficial features of CPNs are: graphical facilities for specification; support for different levels of abstraction; hierarchical structuring mechanisms; and verification and validation methods, such as querying the state space to investigate properties, and language equivalence to check the consistency of different levels of abstraction. Coloured Petri Nets are supported by a number of computer tools including Design/CPN. Design/CPN supports the construction and maintenance of CPN models and their simulation and analysis using state spaces. These facilities allow us to create a model that provides a clear, unambiguous and precise definition of RSVP, and to analyse the protocol for functional correctness. The paper concentrates on the approach and the tools used in this investigation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Techniques and Tools for Formalising and Analysing the Resource Reservation Protocol: A Coloured Petri Net Approach

The goal of the Resource Reservation Protocol (RSVP) is to establish Quality of Service information in the form of resource reservations (such as buffers and bandwidth) within routers and host computers of the Internet. It is intended to support emerging Internet applications that require performance guarantees. Currently, Internet protocols are not formally specified when they are developed. I...

متن کامل

Modelling of RSVP Protocol using Coloured Petri Net

The main formal technique used for RSVP specification and verification is CPNs. In this paper, their functionality is described briefly by using RSVP without giving any formal definitions. The paper gives an informal introduction to the components, dynamic behaviour, occurrence and enabling mechanism of RSVP using CPNs.

متن کامل

Analysing Properties of the Resource Reservation Protocol

The goal of the Resource Reservation Protocol (RSVP) is to establish Quality of Service information within routers and host computers of the Internet. This paper describes a model of RSVP and presents the analysis approach and results. A large part of RSVP is modelled using Coloured Petri Nets. The model provides a clear, unambiguous and precise definition of the considered features of RSVP, wh...

متن کامل

Modeling and Initial Analysis of the RMD-QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets

The NSIS (Next Steps In Signaling) working group within IETF has developed a new signaling framework. One of the purposes of this framework is to support quality of service provisioning. RMD-QOSM is the protocol that delivers quality of service to end users. RMD-QOSM protocol is a simple, effective and scalable resource reservation method that provides edge-to-edge communication in a Differenti...

متن کامل

Modelling and Analysis of the Resource Reservation Protocol Using Coloured Petri Nets

The Internet provides a best-effort transfer service with no service guarantees. Inthe last few years, however, there has been growing interest in providingQuality of Service(QoS) guarantees in the Internet. It has been mainly driven by multimedia and real-timeapplications, which require a certain level of service. Thus, the IETF is working on thedevelopment of new proposals...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CLEI Electron. J.

دوره 6  شماره 

صفحات  -

تاریخ انتشار 2003